$s$ $\in$ $C$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\exists$$n$:$\mathbb{N}$. ($C$($<$$n$, $s$$>$) = 1)